_require "181_functor2.smi"

functor F (
  A : sig
    type t
  end
) = 
struct
  type s (= boxed)
  val f : ('a -> A.t) -> s
end
